Platas—Integrating Planning and the Action Language Golog
نویسندگان
چکیده
منابع مشابه
Planning Techniques and the Action Language Golog
The action language Golog allows specifying the behavior of autonomous systems with very flexible programs that leave certain aspects open to be resolved by the system. Such open aspects are often planning tasks, where the system needs to find a suitable course of actions to reach a given goal. The first part of this thesis aims to make highly efficient planning systems available to the Golog s...
متن کاملPlanning and Verification in the agent language Golog
The action programming language Golog has proven to be a useful means for the high-level control of autonomous agents such as mobile robots. It is based on the Situation Calculus, a dialect of classical first-order logic, that is used to encode dynamic domains through logical axioms. Perhaps the greatest advantage of Golog is that a user can write programs which constrain the search for an exec...
متن کاملContinual Planning in Golog
To solve ever more complex and longer tasks, mobile robots need to generate more elaborate plans and must handle dynamic environments and incomplete knowledge. We address this challenge by integrating two seemingly different approaches – PDDL-based planning for efficient plan generation and GOLOG for highly expressive behavior specification – in a coherent framework that supports continual plan...
متن کاملGolog Speaks the BDI Language
In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and “Golog-like” high-level programming. In particular, we show how “Golog-like” programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent system...
متن کاملTowards an Integration of Golog and Planning
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constrain the search for an executable plan in a flexible manner. However, when general planning is needed, Golog supports this only in principle, but does not measure up with state-of-the-art planners. In this paper we prop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KI - Künstliche Intelligenz
سال: 2011
ISSN: 0933-1875,1610-1987
DOI: 10.1007/s13218-011-0155-2